Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: www.clip.dia.fi.upm.es

• Programming paradigms
• Formal sciences
• Association for Computing Machinery
• Principles of Programming Languages
• Formal methods
• International Conference on Logic Programming
• Logic programming
• International Symposium on Logic-based Program Synthesis and Transformation
• Lecture Notes in Computer Science
• Computer science
• Computing
• Software engineering

Software Synthesis Procedures ∗ Viktor Kuncak Mikaël Mayer LARA, I&C

Source URL: lara.epfl.ch

• Model theory
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability Modulo Theories
• Boolean satisfiability problem
• First-order logic
• Interpretation
• Mathematical logic
• Theoretical computer science
• Mathematics

ATL* Satisfiability is 2EXPTIME-Complete⋆ Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany

Source URL: cgi.csc.liv.ac.uk

• Formal methods
• Model checking
• Entailment
• Boolean satisfiability problem
• Logic
• Theoretical computer science
• Deduction

Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work

Source URL: www.qatar.cmu.edu

• Set-builder notation
• Formal methods
• Logic in computer science
• NP-complete problems
• Mathematics
• Mathematical logic
• Multiset

Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph

Source URL: users.eecs.northwestern.edu

• Software
• Compiler construction
• Compiler optimization
• Instruction scheduling
• Dynamic random-access memory
• Compiler
• Program optimization
• Formal methods
• Programming language implementation
• Software engineering
• Computing

Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {*.*}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in

Source URL: www.ai4fm.org

• Logic in computer science
• Rippling
• Theorem
• Formal methods
• Postcondition
• First-order logic
• Mathematical proof
• Precondition
• IP
• Logic
• Mathematics
• Theoretical computer science

Unfixing the Fixed Scope Project: Using Agile Methodologies to Create Flexibility in Project Scope Jeff Patton Development Team Lead Tomax Corporation 224 South 200 West

Source URL: agileproductdesign.com

• Project management
• Software project management
• Formal methods
• Agile software development
• Software development process
• Scrum
• Extreme programming
• Acceptance testing
• Scope
• Software development
• Technology
• Business

1/ ForTesSE Formal Testing and System Exploration Laboratoire de Recherche en Informatiquereport

Source URL: vals.lri.fr

• Software development
• Science
• Model-based testing
• Formal verification
• Model checking
• Software verification
• Verification and validation
• Software development process
• Construction and Analysis of Distributed Processes
• Software testing
• Formal methods
• Theoretical computer science

Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research

Source URL: research.microsoft.com

• Computing
• Concolic testing
• Symbolic execution
• Java Pathfinder
• Test Data Generation
• Fuzz testing
• KeY
• Model checking
• Dynamic program analysis
• Software testing
• Formal methods
• Software development

National Aeronautics and Space Administration NASA FORMAL METHODS Symposium April 27-29, 2015 ● Pasadena, California, USA http://nasaformalmethods.org

Source URL: lars-lab.jpl.nasa.gov